Autonomy's magic wand: abortion and constitutional interpretation.

نویسنده

  • Anita L Allen
چکیده

Follow this and additional works at: http://scholarship.law.upenn.edu/faculty_scholarship Part of the Constitutional Law Commons, Courts Commons, Fourteenth Amendment Commons, Gender and Sexuality Commons, Jurisprudence Commons, Law and Society Commons, Philosophy Commons, Privacy Law Commons, Public Law and Legal Theory Commons, Sexuality and the Law Commons, Women Commons, Women's Health Commons, and the Women's Studies Commons

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Contempoary Perspectives on Constitutional Interpretation *683 AUTONOMY'S MAGIC WAND: ABORTION AND CONSTITUTIONAL INTERPRETATION

Constitutional law changes, even though the Constitution remains the same. American abortion law aptly illustrates this point. Although the text of the Fourteenth Amendment has remained constant since the United States Supreme Court decided Roe v. Wade [FN1] in 1973, the Court has altered its position on the constitutionality of restrictive abortion statutes. According to Roe, the Due Process C...

متن کامل

Advanced Radio Channel Model for Magic WAND

The stochastic radio channel model (SRCM) derived within the Magic WAND project takes into account all propagation effects which have an impact on the system performance. Special attention has been paid to obtain an accurate description of the time and direction dispersive character of real radio channels because the Magic WAND system exploits both, frequency and space diversity. In this paper,...

متن کامل

Proof Pearl: Magic Wand as Frame

Separation logic is widely used to verify programs that manipulate pointers. It adds two connectives: separating conjunction ∗ (“star”) and its adjoint, separating implication −∗ (“magic wand”). Comparatively, separating conjunction is much more widely used. Many separation logic tools do not even support separating implication. Especially in interactive program verification or pen-paper proofs...

متن کامل

Lightweight Support for Magic Wands in an Automatic Verifier

Permission-based verification logics such as separation logic have led to the development of many practical verification tools over the last decade. Verifiers employ the separating conjunction A ∗ B to elegantly handle aliasing problems, framing, race conditions, etc. Introduced along with the separating conjunction, the magic wand connective, written A −∗ B, can describe hypothetical modificat...

متن کامل

On the Almighty Wand

We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify properties about the memory heap of programs with singly-linked lists. Separation logic with two record fields is known to be undecidable by reduction of finite satisfiability for classical predicate logic with one bina...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Boston University law review. Boston University. School of Law

دوره 72 4  شماره 

صفحات  -

تاریخ انتشار 1992